<html>
<body>
<div id=result></div>
<script>
function log(message)
{
  document.getElementById("result").innerHTML += message + "<br>";
}
var worker = new SharedWorker("websocket_worker_simple.js");
var protocol = location.protocol.replace('http', 'ws');
var url = protocol + '//' + location.host + '/echo-with-no-extension';
worker.port.onmessage = function (evt) {
  log(evt.data);
  if (evt.data == "DONE") {
    document.title = "OK";
  } else {
    document.title = "FAIL";
  }
};
worker.port.postMessage(url);

</script>
</body>
</html>
